proofs with perpendicular lines